package Store;


import DataView.Expr;
import DataView.StateObserverInfo;

/**
 * the creator of a state observer leaves empty the invariant
 */
public class StateObserver extends Element {

	StateObserverInfo info;  
	
	public StateObserver()
	{}
	
	public StateObserver(String name, Type t, Expr e) 
	{
		StateObserverInfo ei = new StateObserverInfo();
		ei.setInfo(name, t, e);
		mkElement(ei);
	}
	
	public void mkElement(StateObserverInfo ei) 
	{
		super.mkElement(ei);
		info=ei;
	}

	public Expr getExpr() 
	{
		return info.getInv();	
	}

	public Type getType() 
	{
		return info.getType();
	}
}